Graphe de Pas Maximaux : une Solution pour la Réduction des Systèmes de Transitions Eétiquetées Maximales

Résumé— La réduction cherche à combattre le problème de l’explosion combinatoire du graphe d’états en réduisant le graphe d’états initial modulo certaines relation d’équivalence. Cet article propose un algorithme de réduction qui s’attaque à l’une des causes du problème de l’explosion combinatoire du graphe d’états, à savoir la représentation du parallélisme par l’entrelacement d’actions concurrentes, cet algorithme étend l’approche des pas couvrant [22] au modèle des systèmes de transitions étiquetées maximales.